<HTML><HEAD><TITLE>library(asm)</TITLE></HEAD><BODY>
[ <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]<H1>library(asm)</H1>
Assemble and disassemble predicates
<H2>Predicates</H2>
<BLOCKQUOTE>
<DL>
<DT><A HREF="asm-2.html"><STRONG>asm(+PredSpec, +WAMCode)</STRONG></A></DT>
<DD>Assemble the WAM instructions WAMCode into ECLiPSe as predicate PredSpec. 

</DD>
<DT><A HREF="asm-3.html"><STRONG>asm(+PredSpec, +WAMCode, +Flags)</STRONG></A></DT>
<DD>Assemble the WAM instructions WAMCode into ECLiPSe in module Module as
predicate PredSpec.  

</DD>
<DT><A HREF="disasm-2.html"><STRONG>disasm(+PredSpec, ?WAMCode)</STRONG></A></DT>
<DD>Disassemble an existing predicate PredSpec in the current module to its WAM
abstract machine representation WAMCode.

</DD>
<DT><A HREF="disasm-3.html"><STRONG>disasm(+PredSpec, ?WAMCode, +Module)</STRONG></A></DT>
<DD>Disassemble an existing predicate PredSpec in the module Module to its WAM
abstract machine representation WAMCode.

</DD>
<DT><A HREF="pasm-4.html"><STRONG>pasm(+WAMCode, -Size, -BTPos, -Object)</STRONG></A></DT>
<DD>Partially assemble WAMCode into an object format.

</DD>
<DT><A HREF="portable_object_code-1.html"><STRONG>portable_object_code(++Object)</STRONG></A></DT>
<DD>Check whether abstract machine code is 32/64 bit portable</DD>
<DT><STRONG>print_wam(?)</STRONG></DT>
<DD>No description available</DD>
<DT><A HREF="wam-1.html"><STRONG>wam(+PredSpec)</STRONG></A></DT>
<DD>Prints the formatted WAM code for predicate PredSpec.

</DD>
<DT><A HREF="wam-2.html"><STRONG>wam(+PredSpec, +Module)</STRONG></A></DT>
<DD>Prints the formatted WAM code for predicate PredSpec from module Module.</DD>
</DL>
</BLOCKQUOTE>
<H2>Description</H2>
    The asm library provide tools for assembling and disassembling the WAM
    code representation of predicates to and from memory. It also allows
    the formatted printing of the WAM code. This library is used by the
    fcompile library to generate the object code, which is a form of the
    WAM code that can be read back in and assembled into the predicates.
<HR>Generated from asm.eci on 2009-05-27 01:25
</BODY></HTML>
